81. The E hardware verification language

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Computer hardware description languages,Integrated circuits , Verification,Computers , Circuits , Testing

رده :
E-BOOK

82. The E hardware verification language

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computer hardware description languages,Integrated circuits- Verification,Computers- Circuits- Testing

رده :
TK7885
.
7
.
I43
2004

83. The fusion of hardware design and verification :proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Desi Verification, Glasgow, Scotland, 4-6 July 1988

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Integrated circuits--Design and construction--Data-processing--Congres,Computer-aided design--Congresses,Integrated circuits--Verification--Congresses

رده :
TK
،
7874
،.
I328
،
1988

84. The power of assertions in SystemVerilog

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Verilog )Computer hardware description language(,، Integrated circuits, Verification, Data processing

رده :
TK
7874
.
58
.
P69
2010

85. The power of assertions in system verilog

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Verilog (Computer hardware description language),Integrated circuits - Verification - Data processing

رده :
TK7874
.
58
.
P69
2010

86. The power of assertions in system verilog

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Verilog )Computer hardware description language(,Verification -- Data processing ، Integrated circuits

رده :
TK
7874
.
58
.
P69
2010

87. Trace-Based Post-Silicon Validation for VLSI Circuits

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Very large scale integration -- Design and construction.,Integrated circuits -- Verification.,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی و ساخت ,مدار‌های مجتمع -- راستی‌آزمایی

رده :
E-Book
,

88. Trace-based post-silicon validation for VLSI circuits

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Integrated circuits, Very large scale integration, Design and construction,Integrated circuits, Verification,COMPUTERS / Logic Design, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI, bisacsh,Integrated circuits, Verification, fast,Integrated circuits, Very large scale integration, Design and construction, fast,Engineering,Computer science,Systems engineering,Circuits and Systems,Processor Architectures,Semiconductors

رده :
E-BOOK

89. Trace-based post-silicon validation for VLSI circuits

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : Very large scale integration Design and construction ، Integrated circuits,Verification ، Integrated circuits

رده :
TK7874
.
L58
2014

90. VLSI specification, verification, and synthesis

پدیدآورنده :

موضوع : Integrated circuits - Very large scale integration - Design and construction,Integrated circuits - Verification

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

91. Verification by error modeling

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : aided design. ; Integrated circuits ; Verification. ; Error analysis (Mathematics) ; -Integrated circuits ; Very large scale integration ; Computer

92. Verification methodology manual for SystemVerilog

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Verilog (Computer hardware description language),Integrated circuits , Verification

رده :
E-BOOK

93. Verification methodology manual for System Verilog

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Verilog (Computer hardware description language),Integrated circuits -- Verification

رده :
TK
،
7885
.
7
،.
V44
،
2006

94. Verification of systems and circuits using LOTOS, Petri Nets, and CCS

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)

موضوع : Verification ، Integrated circuits,Verification ، Computer software,، LOTOS )Computer program language(,، Petri nets

رده :
TK
7874
.
58
.
Y64
2008

95. Verification of systems and circuits using LOTOS, Petri Nets, and CCS

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets

رده :
TK7874
.
58
.
Y64
2008

96. Verification techniques for system-level design

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(

رده :
TK
7895
.
E42
.
F95
2008

97. Verification techniques for system-level design /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7895
.
E42
F95
2008eb

98. Verification techniques for system-level design

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(

رده :
TK
7895
.
E42F84

99. Writing testbenches: functional verification of HDL models

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Computer hardware description languages,، Integrated circuits- Verification

رده :
TK
7885
.
7
.
B47

100. Writing testbenches using System Verilog

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Computer hardware description languages,Integrated circuits- Verification

رده :
E-BOOK